Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: add custom metrics names #23

Merged
merged 2 commits into from
Nov 6, 2023
Merged

feat: add custom metrics names #23

merged 2 commits into from
Nov 6, 2023

Conversation

pmalhaire
Copy link
Owner

@pmalhaire pmalhaire commented Nov 5, 2023 •
edited
Loading

add the ability to set the custom metrics names

@pmalhaire pmalhaire mentioned this pull request Nov 5, 2023
Merged
@pmalhaire pmalhaire force-pushed the add_metrics_custom_names branch 4 times, most recently from 8e5b0d4 to 3191611 Compare November 6, 2023 20:10
@pmalhaire pmalhaire force-pushed the add_metrics_custom_names branch from 034c4f2 to be06040 Compare November 6, 2023 20:22
@pmalhaire pmalhaire force-pushed the add_metrics_custom_names branch from be06040 to 3a9730d Compare November 6, 2023 20:24
@pmalhaire pmalhaire merged commit 231ecd3 into main Nov 6, 2023
2 checks passed
@pmalhaire pmalhaire deleted the add_metrics_custom_names branch November 6, 2023 20:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@pmalhaire